Autogenerated HTML docs for v1.5.3.7-1170-g8d08 
diff --git a/user-manual.html b/user-manual.html index 0417d83..ee9594b 100644 --- a/user-manual.html +++ b/user-manual.html 
@@ -2132,8 +2132,7 @@  The unique identifier of an <a href="#def_object">object</a>. The <a href="#def_hash">hash</a>  of the object's contents using the Secure Hash Algorithm  1 and usually represented by the 40 character hexadecimal encoding of - the <a href="#def_hash">hash</a> of the object (possibly followed by - a white space). + the <a href="#def_hash">hash</a> of the object.  </dd><dt><span class="term">  <a name="def_object_type"></a>object type  </span></dt><dd>